\documentclass[a4paper,final]{report}

% Packages to use
\usepackage{graphicx}
\usepackage{hyperref}
\hypersetup{colorlinks=false}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amstext}
\usepackage{amsthm}
\usepackage{palatino}
\usepackage[dvips]{color}
\usepackage{sectsty}
\usepackage{subfigure}
\usepackage{natbib}
\usepackage{url}
\usepackage[labelfont=bf,up,textfont=it,up]{caption}
\usepackage{fullpage}
\usepackage{float}
\usepackage{verbatim}

% Alter some LaTeX defaults for better treatment of figures:
% See p.105 of "TeX Unbound" for suggested values.
% See pp. 199-200 of Lamport's "LaTeX" book for details.
%   General parameters, for ALL pages:
\renewcommand{\topfraction}{0.9}	% max fraction of floats at top
\renewcommand{\bottomfraction}{0.8}	% max fraction of floats at bottom
%   Parameters for TEXT pages (not float pages):
\setcounter{topnumber}{2}
\setcounter{bottomnumber}{2}
\setcounter{totalnumber}{4}     % 2 may work better
\setcounter{dbltopnumber}{2}    % for 2-column pages
\renewcommand{\dbltopfraction}{0.9}	% fit big float above 2-col. text
\renewcommand{\textfraction}{0.07}	% allow minimal text w. figs
%   Parameters for FLOAT pages (not text pages):
\renewcommand{\floatpagefraction}{0.7}	% require fuller float pages
% N.B.: floatpagefraction MUST be less than topfraction !!
\renewcommand{\dblfloatpagefraction}{0.7}	% require fuller float pages

% TODO Lav theoremstyle så den er ordentlig!
\newtheoremstyle{mystyle}	% Name
{5pt}		%	Space above
{25pt}		%	Space below
{}			%	Body font
{\parindent}%	Indent amount
{\bfseries}	%	Theorem head font
{:}			%	Punctuation after theorem head
{.5em}		%	Space after theorem head
{}			%	Theorem head spec (can be left empty, meaning ‘normal’)

\theoremstyle{mystyle}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
\newtheorem{convention}{Convention}[section]
\newtheorem{lemma}{Lemma}[section]
\newtheorem{theorem}{Theorem}[section]



\title{Visualization of $\beta$-reduction-graphs in the lambda calculus}
\author{Niels Bjørn Bugge Grathwohl \and Jens Duelund Pallesen}
\date{\large \today}

% Color & size for sections
\definecolor{sectionColor}{RGB}{65,117,78}
% \usepackage{titlesec}
% \titleformat{\chapter}[display]
% {\color{sectionColor}\normalfont\huge\bfseries}{\chaptertitlename\
% \thechapter}{20pt}{\Huge}
% 
% \titleformat{\section}
% {\color{sectionColor}\normalfont\Large\bfseries}{\thesection}{1em}{}

\chapterfont{\Huge\color{sectionColor} }
\sectionfont{\large\color{sectionColor} }
\subsectionfont{\Small\color{sectionColor} }



\newcommand{\Z}{\mathbb{Z}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\lam}[2]{\lambda#1.#2}
\newcommand{\BETA}{\boldsymbol\beta}
\newcommand{\barrow}{\rightarrow_\beta}
\newcommand{\Barrow}{\barrow^*}
\newcommand{\I}{\textsf{\textbf{I}}}
\newcommand{\W}{\textsf{\textbf{W}}}

% Bruges til Python-kode.
\newcommand{\pycode}[1]{\textbf{\texttt{#1}}}
\newcommand{\fact}{\paragraph{Fact:}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Title page
\input{chapters/title.tex}

% Abstract
\input{chapters/abstract.tex}

% Table of content
\tableofcontents
\listoffigures

% Chapters
\input{chapters/introduction.tex}
\input{chapters/lambda_theory.tex}
\input{chapters/existing_visualizations.tex}
\input{chapters/graph_drawing_litterature.tex}
\input{chapters/lambda_graph_drawing.tex}
\input{chapters/visual_discussion.tex}
\input{chapters/implementation.tex}
\input{chapters/results.tex}
\input{chapters/future_work.tex}

\appendix
\input{chapters/readme.tex}

% Bibliography
\bibliographystyle{abbrv}
\bibliography{bibliography,bibl_graph_drawing}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
